H ? « ‹ ← → › »

Language peer sets for The ML Kit:
Denmark↑
Denmark/1993↑
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

The ML Kit (3649/the011)

Full implementation of Standard ML 

alternate simple view
Country: Denmark
Designed 1993
Published: 1993

Implementation of SML

Denmark
Related languages
SML → The ML Kit   Implementation
The ML Kit → Moscow SML   Based on
References:
  • Birkedal, Lars ; and Morten Welinder. (1993) Birkedal, Lars ; and Morten Welinder. Partial Evaluation of Standard ML. Master's Thesis. (Revised version: Technical Report 93/22) Department of Computer Science, University of Copenhagen. 1993. Abstract
  • Birkedal, Lars ; Nick Rothwell, Mads Tofte and Dav (1993) Birkedal, Lars ; Nick Rothwell, Mads Tofte and David N. Turner. The ML Kit (Version 1). Technical Report 93/14. Department of Computer Science, University of Copenhagen. 1993. Abstract
  • Mads Tofte and Jean-Pierre Talpin. (1993) Mads Tofte and Jean-Pierre Talpin. A Theory of Stack Allocation in Polymorphically Typed Languages. Technical Report 93/15. Department of Computer Science, University of Copenhagen. 1993. Abstract
  • Mads Tofte and Jean-Pierre Talpin. (1994) Mads Tofte and Jean-Pierre Talpin. Implementation of the Typed Call-by-value lambda-calculus using a Stack of Regions. Abstract
          in [POPL 1994] (1994) Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1994
  • Magnus Vejlstrup. (1994) Magnus Vejlstrup. Multiplicity Inference. Master's Thesis 94-9-1. Department of Computer Science, University of Copenhagen. 1994. ps
          in [POPL 1994] (1994) Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1994
  • Martin Elsman. (1994) Martin Elsman. A Portable Standard ML Implementation. Master's Thesis. The Technical University of Denmark. 1994.
          in [POPL 1994] (1994) Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1994
  • Martin Elsman and Niels Hallenberg. (1995) Martin Elsman and Niels Hallenberg. An Optimizing Backend for the ML Kit Using a Stack of Regions. Student Project 95-7-8. Department of Computer Science, University of Copenhagen. July 1995.
          in [POPL 1994] (1994) Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1994
  • Birkedal, Lars ; Mads Tofte and Magnus Vejlstrup. (1996) Birkedal, Lars ; Mads Tofte and Magnus Vejlstrup. From Region Inference to von Neumann Machines via Region Representation Inference.
          in [POPL 1966] (1996) [ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996
  • Hallenberg, Niels A Region Profiler for a Standard (1996) Hallenberg, Niels A Region Profiler for a Standard ML compiler based on Region Inference. Student Project. Department of Computer Science, University of Copenhagen. June 1996.
          in [POPL 1966] (1996) [ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996
  • Martin Koch and Tommy Højfeld Olesen. (1996) Martin Koch and Tommy Højfeld Olesen. Compiling a Higher-Order Call-by-Value Functional Programming Language to a RISC Using a Stack of Regions. Master's Thesis 96-10-5. Department of Computer Science, University of Copenhagen. 1996
          in [POPL 1966] (1996) [ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996
  • Mads Tofte and Jean-Pierre Talpin. (1997) Mads Tofte and Jean-Pierre Talpin. Region-Based Memory Management. Information and Computation 132(2), pp. 109-176. 1997.
          in [POPL 1966] (1996) [ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996
  • Mads Tofte, Lars Birkedal, Martin Elsman, Niels Ha (1997) Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, Peter Sestoft and Peter Bertelsen. Programming with Regions in the ML Kit. Technical Report 97/12. Department of Computer Science, University of Copenhagen. 1997.
          in [POPL 1966] (1996) [ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996
  • Mads Tofte, Lars Birkedal, Martin Elsman, Niels Ha (1998) Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, Peter Sestoft and Peter Bertelsen. Programming with Regions in the ML Kit (for Version 3). Technical Report 98/25. Department of Computer Science, University of Copenhagen. 1998.
          in [POPL 1966] (1996) [ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996
  • Martin Elsman. (1998) Martin Elsman. Polymorphic Equality - No Tags Required. In Second International Workshop on Types in Compilation. Kyoto, Japan. March 1998.
          in [POPL 1966] (1996) [ACM SIGACT-SIGPLAN] Proceedings the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96) 1996
  • Tofte, Mads (1998) Tofte, Mads "A Brief Introduction to Regions" Invited Talk
          in (1998) 1998 International Symposium on Memory Management, Vancouver, Canada, October 1998
  • Tofte, Mads and Birkedal, Lars (1998) Tofte, Mads and Birkedal, Lars "A Region Inference Algorithm"
          in (1998) TOPLAS 20(4) July 1998
  • Hallenberg, Niels Combining Garbage Collection and (1999) Hallenberg, Niels Combining Garbage Collection and Region Inference in The ML Kit. Master's Thesis. Department of Computer Science, University of Copenhagen. 1999
          in (1998) TOPLAS 20(4) July 1998
  • Martin Elsman. (1999) Martin Elsman. Program Modules, Separate Compilation, and Intermodule Optimisation. PhD thesis. Revised. Department of Computer Science, University of Copenhagen. January 1999.
          in (1998) TOPLAS 20(4) July 1998
  • Martin Elsman. (1999) Martin Elsman. Static Interpretation of Modules. In Fourth International Conference on Functional Programming. Paris, France. September 1999. ps
          in (1998) TOPLAS 20(4) July 1998
  • Hallenberg, Niels; Elsman, Martin and Mads Tofte. (2002) Hallenberg, Niels; Elsman, Martin and Mads Tofte. "Combining Region Inference and Garbage Collection" pdf
          in [PLDI 2002] (2002) SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02). Berlin, Germany. June 2002.
  • Mads Tofte, Lars Birkedal, Martin Elsman, Niels Ha (2002) Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, and Peter Sestoft. Programming with Regions in the ML Kit (for Version 4). IT University of Copenhagen. April 2002. pdf
          in [PLDI 2002] (2002) SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02). Berlin, Germany. June 2002.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder